首页> 外文OA文献 >Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014

【2h】

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014

机译：分布式对象，组件和系统的形式技术：第34届IFIPWG6.1国际会议，FORTE，作为第9届国际分布式计算技术联合会议的一部分，DisCoTec 2014，德国柏林，2014年6月3-5日

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Ábrahám, Erika; Palamidessi, Catuscia;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献

1. International conference on "photosynthesis research for sustainability-2014: in honor of Vladimir A. Shuvalov", held on June 2-7, 2014, in Pushchino, Russia [J] . Allakhverdiev Suleyman I., Tomo Tatsuya, Govindjee Photosynthesis Research: An International Journal . 2014,第3期

机译：2014年6月2日至7日在俄罗斯Pushchino举行的“ 2014年可持续光合作用研究：以弗拉基米尔·A·舒瓦洛夫的荣誉”国际会议
2. Conference 2014: Promoting Today's Ideas for Tomorrow's Medicine: Pharmaceutical Science to Regulatory Science. An international symposium held jointly by CSPS and CC-CRS, June 10-13, 2014, Montreal, QC, Canada [J] . Canadian Society for Pharmaceutical Sciences Journal of Pharmacy and Pharmaceutical Sciences . 2014,第3期

机译：2014年会议：促进今天的明天医学思想：从药物科学到管理科学。 CSPS和CC-CRS联合举办的国际研讨会，2014年6月10日至13日，加拿大魁北克省蒙特利尔
3. The 2014 IAITL Conference - Call for papers -The 9th International Conference on Legal, Security and Privacy Issues in IT Law (LSPI) 15-17 October 2014, Lisbon, Portugal [J] . Computer law & security report . 2014,第4期

机译：2014 IAITL大会-征集论文-第9届IT法的法律，安全和隐私问题国际会议（LSPI），2014年10月15日至17日，葡萄牙里斯本
4. The Impact-emap 2014, 9th International conference on electronics, materials and packaging, and the 16th International symposium on electronic materials and packaging: Thesis for study analysis of memory packaging and testing industry [C] . Hai-Teng Liu 2014 9th International Microsystems, Packaging, Assembly and Circuits Technology Conference: Challenges of Change - Shaping the Future, 16th International Conference on Electronic Materials and packaging . 2014

机译：2014年Impact-emap，第9届电子，材料和包装国际会议以及第16届电子材料和包装国际研讨会：存储器包装和测试行业的研究分析论文
5. Abstracts from Purines 2014 an International Conference on Nucleotides Nucleosides and Nucleobases held in Bonn Germany from July 23–27 2014 [O] . 2014

机译：2014年7月23日至27日在德国波恩举行的国际嘌呤核苷酸核苷和核糖核酸会议2014年嘌呤摘要
6. Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 [O] . Ábrahám, Erika, Palamidessi, Catuscia 2014

机译：分布式对象，组件和系统的形式技术：第34届IFIPWG6.1国际会议，FORTE，作为第9届国际分布式计算技术联合会议的一部分，DisCoTec 2014，德国柏林，2014年6月3-5日
7. The Impact of Improved Solar Forecasts on Bulk Power System Operations in ISO-NEnPreprint. Conference: To be presented at the 4th International Workshop on Integration of Solar Power into Power Systems, 10-11 November 2014, Berlin, Germany. [R] . Martinez-Anido, B., Florita, C., Hodge, B. 2014

机译：改进的太阳能预报对IsO-NEn预测中大容量电力系统运行的影响。会议：将于2014年11月10日至11日在德国柏林举行的第四届太阳能发电一体化国际研讨会上发表。

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014

摘要

著录项

相似文献

相关主题

期刊订阅